Immortalité contre éternité

Contre-examples for Bayesian MAP restoration

The Bayesian approach is most widely used to solve various problems in signal and image processing, such as denoising and deblurring, zooming, reconstruction. The reason is that it provides a coherent statistical framework to combine observed (noisy) data with prior information on the unknown signal or image. However, this paper exhibits a major contradiction since the MAP solutions substantial...

The Mechanism of Contre-coup Injury.

WHEN one considers the various types of intracranial lesion produced by trauma to the head-extradural haemorrhage, subdural hemorrhage, cortical laceration, haemorrhage into brain substance or ventricles-there is one type of injury which of recent years has excited much speculation as to the mechanism of its causation, namely, " contre-coup injury." It has long been observed in persons who have...

Stratégies Dynamiques pour la Génération de Contre - exemples ∗

Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

L’ascenseur et l’escalier — la lutte contre le SIDA au Cameroun

HIV/AIDS infection has spread like wildfire in the countries of sub-saharan Africa. In order to fight that pandemic, Cameroon has organised itself by setting up, with the assistance of bilateral and multilateral partners, a national structure with the aim to reduce the spread of the disease.Two years after the launch of the National Plan for the Fight Against HIV/AIDS, an advocacy campaign targ...

La lutte contre la Fasciolose en Iran